ma{-}compat\{i:l\}($A$; $B$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ma{-}compatible\{i:l\}($A$; $B$) \& ma{-}frame{-}compatible($A$;$B$)